Efficient noninteractive certification of RSA moduli and beyond

In many applications, it is important to verify that an RSA public key (N; e) speci es a permutation over the entire space ZN, in order to prevent attacks due to adversarially-generated public keys. We design and implement a simple and e cient noninteractive zero-knowledge protocol (in the random oracle model) for this task. Applications concerned about adversarial key generation can just append our proof to the RSA public key without any other modi cations to existing code or cryptographic libraries. Users need only perform a one-time veri cation of the proof to ensure that raising to the power e is a permutation of the integers modulo N. For typical parameter settings, the proof consists of nine integers modulo N; generating the proof and verifying it both require about nine modular exponentiations. We extend our results beyond RSA keys and also provide e cient noninteractive zero- knowledge proofs for other properties of N, which can be used to certify that N is suitable for the Paillier cryptosystem, is a product of two primes, or is a Blum integer. As compared to the recent work of Auerbach and Poettering (PKC 2018), who provide two-message protocols for similar languages, our protocols are more e cient and do not require interaction, which enables a broader class of applications.https://eprint.iacr.org/2018/057First author draf

Distributed Synthesis in Continuous Time

We introduce a formalism modelling communication of distributed agents strictly in continuous-time. Within this framework, we study the problem of synthesising local strategies for individual agents such that a specified set of goal states is reached, or reached with at least a given probability. The flow of time is modelled explicitly based on continuous-time randomness, with two natural implications: First, the non-determinism stemming from interleaving disappears. Second, when we restrict to a subclass of non-urgent models, the quantitative value problem for two players can be solved in EXPTIME. Indeed, the explicit continuous time enables players to communicate their states by delaying synchronisation (which is unrestricted for non-urgent models). In general, the problems are undecidable already for two players in the quantitative case and three players in the qualitative case. The qualitative undecidability is shown by a reduction to decentralized POMDPs for which we provide the strongest (and rather surprising) undecidability result so far

Dietary preference, physical activity, and cancer risk in men: national health insurance corporation study

<p>Abstract</p> <p>Background</p> <p>The effects of vegetable preference and leisure-time physical activity (LPA) on cancer have been inconsistent. We examined the effects of dietary preference and physical activity, as well as their combined effect on cancer risk.</p> <p>Methods</p> <p>This prospective cohort study included 444,963 men, older than 40 years, who participated in a national health examination program begun in 1996. Based on the answer to the question "What kind of dietary preference do you have?" we categorized dietary preference as (1) vegetables, (2) mixture of vegetables and meat, and (3) meats. We categorized LPA as low (< 4 times/wk, < 30 min/session), moderate (2–4 times/wk, ≥ 30 min/session or ≥ 5 times/wk, < 30 min/session), or high (≥ 5 times/wk, ≥ 30 min/session). We obtained cancer incidence data for 1996 through 2002 from the Korean Central Cancer Registry. We used a standard Poisson regression model with a log link function and person-time offset to estimate incidence and relative risk..</p> <p>Results</p> <p>During the 6-year follow-up period, we identified 14,109 cancer cases. Multivariate analysis revealed that a preference for vegetables or a mixture of vegetables and meat as opposed to a preference for meat played a significant protective role against lung cancer incidence (aRR, 0.81; 95% confidence interval [CI], 0.68–0.98). Compared with the low LPA group, subjects with moderate-high LPA had a significantly lower risk for stomach (aRR, 0.91; 95%CI, 0.86–0.98), lung (aRR, 0.83; 95%CI, 0.75–0.92), and liver (aRR, 0.88; 95%CI, 0.81–0.95) cancer. Among current smokers, the combined moderate-high LPA and vegetable or mixture of vegetables and meat preference group showed a 40% reduced risk of lung cancer (aRR, 0.60; 95%CI, 0.47–0.76) compared with the combined low LPA and meat preference group. Among never/former smokers, subjects with moderate-high LPA and a preference for vegetables or a mixture of vegetables and meat showed reduced stomach cancer risk (aRR, 0.72; 95%CI, 0.54–0.95).</p> <p>Conclusion</p> <p>Our findings add to the evidence of the beneficial effects of vegetable preference on lung cancer risk and of physical activity on lung, stomach, and liver cancer risk. Additionally, vegetable preference combined with LPA might significantly reduce lung and stomach cancer risk.</p

Macular and serum carotenoid concentrations in patients with malabsorption syndromes

The carotenoids lutein and zeaxanthin are believed to protect the human macula by absorbing blue light and quenching free radicals. Intestinal malabsorption syndromes such as celiac and Crohn’s disease are known to cause deficiencies of lipid-soluble nutrients. We hypothesized that subjects with nutrient malabsorption syndromes will demonstrate lower carotenoid levels in the macula and blood, and that these lower levels may correlate with early-onset maculopathy. Resonance Raman spectrographic (RRS) measurements of macular carotenoid levels were collected from subjects with and without a history of malabsorption syndromes. Carotenoids were extracted from serum and analyzed by high performance liquid chromatography (HPLC). Subjects with malabsorption (n = 22) had 37% lower levels of macular carotenoids on average versus controls (n = 25, P < 0.001). Malabsorption was not associated with decreased serum carotenoid levels. Convincing signs of early maculopathy were not observed. We conclude that intestinal malabsorption results in lower macular carotenoid levels

Outcomes of patients hospitalized for acute decompensated heart failure: does nesiritide make a difference?

<p>Abstract</p> <p>Background</p> <p>Nesiritide is indicated in the treatment of acute decompensated heart failure. However, a recent meta-analysis reported that nesiritide may be associated with an increased risk of death. Our goal was to evaluate the impact of nesiritide treatment on four outcomes among adults hospitalized for congestive heart failure (CHF) during a three-year period.</p> <p>Methods</p> <p>CHF patients discharged between 1/1/2002 and 12/31/2004 from the Adventist Health System, a national, not-for-profit hospital system, were identified. 25,330 records were included in this retrospective study. Nesiritide odds ratios (OR) were adjusted for various factors including nine medications and/or an APR-DRG severity score.</p> <p>Results</p> <p>Initially, treatment with nesiritide was found to be associated with a 59% higher odds of hospital mortality (Unadjusted OR = 1.59, 95% confidence interval [CI]: 1.31–1.93). Adjusting for race, low economic status, APR-DRG severity of illness score, and the receipt of nine medications yielded a nonsignificant nesiritide OR of 1.07 for hospital death (95% CI: 0.85–1.35). Nesiritide was positively associated with the odds of prolonged length of stay (all adjusted ORs = 1.66) and elevated pharmacy cost (all adjusted ORs > 5).</p> <p>Conclusion</p> <p>In this observational study, nesiritide therapy was associated with increased length of stay and pharmacy cost, but not hospital mortality. Randomized trials are urgently needed to better define the efficacy, if any, of nesiritide in the treatment of decompensated heart failure.</p

Simulations of events for the LUX-ZEPLIN (LZ) dark matter experiment

The LUX-ZEPLIN dark matter search aims to achieve a sensitivity to the WIMP-nucleon spin-independent cross-section down to (1–2)×10−12 pb at a WIMP mass of 40 GeV/c2. This paper describes the simulations framework that, along with radioactivity measurements, was used to support this projection, and also to provide mock data for validating reconstruction and analysis software. Of particular note are the event generators, which allow us to model the background radiation, and the detector response physics used in the production of raw signals, which can be converted into digitized waveforms similar to data from the operational detector. Inclusion of the detector response allows us to process simulated data using the same analysis routines as developed to process the experimental data

Projected sensitivity of the LUX-ZEPLIN experiment to the 0νββ decay of Xe 136

The LUX-ZEPLIN (LZ) experiment will enable a neutrinoless double β decay search in parallel to the main science goal of discovering dark matter particle interactions. We report the expected LZ sensitivity to Xe136 neutrinoless double β decay, taking advantage of the significant (&gt;600 kg) Xe136 mass contained within the active volume of LZ without isotopic enrichment. After 1000 live-days, the median exclusion sensitivity to the half-life of Xe136 is projected to be 1.06×1026 years (90% confidence level), similar to existing constraints. We also report the expected sensitivity of a possible subsequent dedicated exposure using 90% enrichment with Xe136 at 1.06×1027 years

Genome-Scale Validation of Deep-Sequencing Libraries

Chromatin immunoprecipitation followed by high-throughput (HTP) sequencing (ChIP-seq) is a powerful tool to establish protein-DNA interactions genome-wide. The primary limitation of its broad application at present is the often-limited access to sequencers. Here we report a protocol, Mab-seq, that generates genome-scale quality evaluations for nucleic acid libraries intended for deep-sequencing. We show how commercially available genomic microarrays can be used to maximize the efficiency of library creation and quickly generate reliable preliminary data on a chromosomal scale in advance of deep sequencing. We also exploit this technique to compare enriched regions identified using microarrays with those identified by sequencing, demonstrating that they agree on a core set of clearly identified enriched regions, while characterizing the additional enriched regions identifiable using HTP sequencing